Fixed-point combinator - PDFSEARCH.IO - Document Search Engine

Fixed-point combinator
Results: 121

#	Item
91	A Logical Basis for the D Combinator and Normal Form in CCG Frederick Hoyt and Jason Baldridge The Department of Linguistics The University of Texas at Austin {fmhoyt,jbaldrid}@mail.utexas.edu Add to Reading List Source URL: fmhoyt.colliertech.org Language: English - Date: 2011-12-12 22:35:37 Mathematical logic Lambda calculus Formal languages Combinatory categorial grammar Categorial grammar Fixed-point combinator Functor Syntax Function Mathematics Theoretical computer science Combinatory logic
92	Continuations and Transducer Composition Olin Shivers Matthew Might Georgia Tech Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:05 Lambda calculus Functions and mappings Binary operations Combinatory logic Logic in computer science Function Convolution Fixed-point combinator Mathematics Mathematical analysis Theoretical computer science
93	Objects and their computational framework† V.E.Wolfengagen‡ arXiv:cs.LO[removed]Jun[removed]Vorotnikovsky per., 7, bld. 4 Add to Reading List Source URL: www.wolfengagen.mephi.ru Language: English - Date: 2004-02-05 01:57:51 Applied mathematics Combinatory logic Symbol Cartesian closed category Fixed-point combinator Spectral theory of ordinary differential equations Lambda calculus Theoretical computer science Mathematics
94	V. E. Wolfengagen Combinatory Logic in Programming Add to Reading List Source URL: www.wolfengagen.mephi.ru Language: English - Date: 2005-08-04 01:10:04 Mathematics Combinatory logic Models of computation Logic in computer science Fixed-point combinator Mathematical logic Lambda Parameter Applicative computing systems Theoretical computer science Lambda calculus Applied mathematics
95	Data Types, Functions, and Programming Daniel R. Grayson? and Michael E. Stillman?? In this chapter we present an introduction to the structure of Macaulay 2 commands and the writing of functions in the Macaulay 2 langua Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2001-04-28 11:05:54 Theoretical computer science Recursion Function Hash function Eval Fixed-point combinator Comparison of programming languages Μ operator Mathematics Functions and mappings Computing
96	lci Manual Kostas Chatzikokolakis 12 March 2006 This manual describes the use of lci, which is an advanced interpreter for the λ-calculus. This program was first developed by Kostas Chatzikokolakis Add to Reading List Source URL: lci.sourceforge.net Language: English - Date: 2006-03-13 15:27:23 Mathematical logic Recursion Computability theory Combinatory logic Logic in computer science Fixed-point combinator Associative property Operator associativity Function Mathematics Theoretical computer science Lambda calculus
97	Communications in Mathematical Physics Commun. Math. Phys. 96, [removed]t984) Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2013-12-22 12:53:28 Fixed-point combinator Lambda calculus Recursion Derivative Group action Function Convolution theorem Finite difference Mathematical analysis Mathematics Functions and mappings
98	Polymorphic Time Systems for Estimating Program Complexity Vincent Dornic 1 2 ; Pierre Jouvelot 1 3 Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Type theory Data types Theoretical computer science Lambda calculus Formal methods Type system Programming language Fixed-point combinator Recursive data type Software engineering Computing Programming language theory
99	A Structural Approach to Reversible Computation Samson Abramsky Oxford University Computing Laboratory Abstract Reversibility is a key issue in the interface between computation Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:04 Mathematical logic Models of computation Logic in computer science Combinatory logic Digital electronics Fixed-point combinator Function Reversible computing SKI combinator calculus Theoretical computer science Mathematics Lambda calculus
100	Edward N. Zalta Essence and Modality∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-11-28 19:53:20 Model theory Predicate logic Lambda calculus Metalogic Category theory First-order logic Fixed-point combinator Interpretation Function Logic Mathematical logic Mathematics

UPDATE